Optimal. Leaf size=382 \[ -\frac {4 f (d e-c f) \sqrt {c+d x} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}-\frac {2 f^2 (c+d x)^{3/2} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}-\frac {2 e^{i a} f (d e-c f) \sqrt {c+d x} \Gamma \left (\frac {1}{3},-i b (c+d x)^{3/2}\right )}{9 b d^3 \sqrt [3]{-i b (c+d x)^{3/2}}}-\frac {2 e^{-i a} f (d e-c f) \sqrt {c+d x} \Gamma \left (\frac {1}{3},i b (c+d x)^{3/2}\right )}{9 b d^3 \sqrt [3]{i b (c+d x)^{3/2}}}+\frac {i e^{i a} (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},-i b (c+d x)^{3/2}\right )}{3 d^3 \left (-i b (c+d x)^{3/2}\right )^{2/3}}-\frac {i e^{-i a} (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},i b (c+d x)^{3/2}\right )}{3 d^3 \left (i b (c+d x)^{3/2}\right )^{2/3}}+\frac {2 f^2 \sin \left (a+b (c+d x)^{3/2}\right )}{3 b^2 d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.21, antiderivative size = 382, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 9, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.409, Rules used = {3514, 3470,
2250, 3466, 3437, 2239, 3460, 3377, 2717} \begin {gather*} -\frac {2 e^{i a} f \sqrt {c+d x} (d e-c f) \text {Gamma}\left (\frac {1}{3},-i b (c+d x)^{3/2}\right )}{9 b d^3 \sqrt [3]{-i b (c+d x)^{3/2}}}-\frac {2 e^{-i a} f \sqrt {c+d x} (d e-c f) \text {Gamma}\left (\frac {1}{3},i b (c+d x)^{3/2}\right )}{9 b d^3 \sqrt [3]{i b (c+d x)^{3/2}}}+\frac {i e^{i a} (c+d x) (d e-c f)^2 \text {Gamma}\left (\frac {2}{3},-i b (c+d x)^{3/2}\right )}{3 d^3 \left (-i b (c+d x)^{3/2}\right )^{2/3}}-\frac {i e^{-i a} (c+d x) (d e-c f)^2 \text {Gamma}\left (\frac {2}{3},i b (c+d x)^{3/2}\right )}{3 d^3 \left (i b (c+d x)^{3/2}\right )^{2/3}}+\frac {2 f^2 \sin \left (a+b (c+d x)^{3/2}\right )}{3 b^2 d^3}-\frac {4 f \sqrt {c+d x} (d e-c f) \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}-\frac {2 f^2 (c+d x)^{3/2} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2239
Rule 2250
Rule 2717
Rule 3377
Rule 3437
Rule 3460
Rule 3466
Rule 3470
Rule 3514
Rubi steps
\begin {align*} \int (e+f x)^2 \sin \left (a+b (c+d x)^{3/2}\right ) \, dx &=\frac {2 \text {Subst}\left (\int \left ((d e-c f)^2 x \sin \left (a+b x^3\right )-2 f (-d e+c f) x^3 \sin \left (a+b x^3\right )+f^2 x^5 \sin \left (a+b x^3\right )\right ) \, dx,x,\sqrt {c+d x}\right )}{d^3}\\ &=\frac {\left (2 f^2\right ) \text {Subst}\left (\int x^5 \sin \left (a+b x^3\right ) \, dx,x,\sqrt {c+d x}\right )}{d^3}+\frac {(4 f (d e-c f)) \text {Subst}\left (\int x^3 \sin \left (a+b x^3\right ) \, dx,x,\sqrt {c+d x}\right )}{d^3}+\frac {\left (2 (d e-c f)^2\right ) \text {Subst}\left (\int x \sin \left (a+b x^3\right ) \, dx,x,\sqrt {c+d x}\right )}{d^3}\\ &=-\frac {4 f (d e-c f) \sqrt {c+d x} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}+\frac {\left (2 f^2\right ) \text {Subst}\left (\int x \sin (a+b x) \, dx,x,(c+d x)^{3/2}\right )}{3 d^3}+\frac {(4 f (d e-c f)) \text {Subst}\left (\int \cos \left (a+b x^3\right ) \, dx,x,\sqrt {c+d x}\right )}{3 b d^3}+\frac {\left (i (d e-c f)^2\right ) \text {Subst}\left (\int e^{-i a-i b x^3} x \, dx,x,\sqrt {c+d x}\right )}{d^3}-\frac {\left (i (d e-c f)^2\right ) \text {Subst}\left (\int e^{i a+i b x^3} x \, dx,x,\sqrt {c+d x}\right )}{d^3}\\ &=-\frac {4 f (d e-c f) \sqrt {c+d x} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}-\frac {2 f^2 (c+d x)^{3/2} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}+\frac {i e^{i a} (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},-i b (c+d x)^{3/2}\right )}{3 d^3 \left (-i b (c+d x)^{3/2}\right )^{2/3}}-\frac {i e^{-i a} (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},i b (c+d x)^{3/2}\right )}{3 d^3 \left (i b (c+d x)^{3/2}\right )^{2/3}}+\frac {\left (2 f^2\right ) \text {Subst}\left (\int \cos (a+b x) \, dx,x,(c+d x)^{3/2}\right )}{3 b d^3}+\frac {(2 f (d e-c f)) \text {Subst}\left (\int e^{-i a-i b x^3} \, dx,x,\sqrt {c+d x}\right )}{3 b d^3}+\frac {(2 f (d e-c f)) \text {Subst}\left (\int e^{i a+i b x^3} \, dx,x,\sqrt {c+d x}\right )}{3 b d^3}\\ &=-\frac {4 f (d e-c f) \sqrt {c+d x} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}-\frac {2 f^2 (c+d x)^{3/2} \cos \left (a+b (c+d x)^{3/2}\right )}{3 b d^3}-\frac {2 e^{i a} f (d e-c f) \sqrt {c+d x} \Gamma \left (\frac {1}{3},-i b (c+d x)^{3/2}\right )}{9 b d^3 \sqrt [3]{-i b (c+d x)^{3/2}}}-\frac {2 e^{-i a} f (d e-c f) \sqrt {c+d x} \Gamma \left (\frac {1}{3},i b (c+d x)^{3/2}\right )}{9 b d^3 \sqrt [3]{i b (c+d x)^{3/2}}}+\frac {i e^{i a} (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},-i b (c+d x)^{3/2}\right )}{3 d^3 \left (-i b (c+d x)^{3/2}\right )^{2/3}}-\frac {i e^{-i a} (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},i b (c+d x)^{3/2}\right )}{3 d^3 \left (i b (c+d x)^{3/2}\right )^{2/3}}+\frac {2 f^2 \sin \left (a+b (c+d x)^{3/2}\right )}{3 b^2 d^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 3.00, size = 383, normalized size = 1.00 \begin {gather*} \frac {i \left (e^{-i a} \left (\frac {3 e^{-i b (c+d x)^{3/2}} f \left (f+2 i b d e \sqrt {c+d x}-i b f (c-d x) \sqrt {c+d x}\right )}{b^2}+\frac {2 f (d e-c f) \left (i b (c+d x)^{3/2}\right )^{2/3} \Gamma \left (\frac {1}{3},i b (c+d x)^{3/2}\right )}{b^2 (c+d x)}-\frac {3 (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},i b (c+d x)^{3/2}\right )}{\left (i b (c+d x)^{3/2}\right )^{2/3}}\right )-(\cos (a)+i \sin (a)) \left (\frac {2 f (-d e+c f) (c+d x)^2 \Gamma \left (\frac {1}{3},-i b (c+d x)^{3/2}\right )}{\left (-i b (c+d x)^{3/2}\right )^{4/3}}-\frac {3 (d e-c f)^2 (c+d x) \Gamma \left (\frac {2}{3},-i b (c+d x)^{3/2}\right )}{\left (-i b (c+d x)^{3/2}\right )^{2/3}}+\frac {3 f \left (f-2 i b d e \sqrt {c+d x}+i b f (c-d x) \sqrt {c+d x}\right ) \left (\cos \left (b (c+d x)^{3/2}\right )+i \sin \left (b (c+d x)^{3/2}\right )\right )}{b^2}\right )\right )}{9 d^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.02, size = 0, normalized size = 0.00 \[\int \left (f x +e \right )^{2} \sin \left (a +b \left (d x +c \right )^{\frac {3}{2}}\right )\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Both result and optimal contain complex but leaf count of result is larger than
twice the leaf count of optimal. 695 vs. \(2 (295) = 590\).
time = 0.65, size = 695, normalized size = 1.82 \begin {gather*} -\frac {\frac {3 \, \left ({\left (d x + c\right )}^{\frac {3}{2}} b\right )^{\frac {1}{3}} {\left ({\left ({\left (\sqrt {3} + i\right )} \Gamma \left (\frac {2}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (\sqrt {3} - i\right )} \Gamma \left (\frac {2}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \cos \left (a\right ) - {\left ({\left (i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {2}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (-i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {2}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \sin \left (a\right )\right )} c^{2} f^{2}}{\sqrt {d x + c} b d^{2}} - \frac {6 \, \left ({\left (d x + c\right )}^{\frac {3}{2}} b\right )^{\frac {1}{3}} {\left ({\left ({\left (\sqrt {3} + i\right )} \Gamma \left (\frac {2}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (\sqrt {3} - i\right )} \Gamma \left (\frac {2}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \cos \left (a\right ) - {\left ({\left (i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {2}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (-i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {2}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \sin \left (a\right )\right )} c f e}{\sqrt {d x + c} b d} + \frac {3 \, \left ({\left (d x + c\right )}^{\frac {3}{2}} b\right )^{\frac {1}{3}} {\left ({\left ({\left (\sqrt {3} + i\right )} \Gamma \left (\frac {2}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (\sqrt {3} - i\right )} \Gamma \left (\frac {2}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \cos \left (a\right ) - {\left ({\left (i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {2}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (-i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {2}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \sin \left (a\right )\right )} e^{2}}{\sqrt {d x + c} b} - \frac {2 \, {\left (12 \, \left ({\left (d x + c\right )}^{\frac {3}{2}} b\right )^{\frac {1}{3}} \sqrt {d x + c} \cos \left ({\left (d x + c\right )}^{\frac {3}{2}} b + a\right ) + \sqrt {d x + c} {\left ({\left ({\left (\sqrt {3} - i\right )} \Gamma \left (\frac {1}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (\sqrt {3} + i\right )} \Gamma \left (\frac {1}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \cos \left (a\right ) + {\left ({\left (-i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {1}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {1}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \sin \left (a\right )\right )}\right )} c f^{2}}{\left ({\left (d x + c\right )}^{\frac {3}{2}} b\right )^{\frac {1}{3}} b d^{2}} + \frac {2 \, {\left (12 \, \left ({\left (d x + c\right )}^{\frac {3}{2}} b\right )^{\frac {1}{3}} \sqrt {d x + c} \cos \left ({\left (d x + c\right )}^{\frac {3}{2}} b + a\right ) + \sqrt {d x + c} {\left ({\left ({\left (\sqrt {3} - i\right )} \Gamma \left (\frac {1}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (\sqrt {3} + i\right )} \Gamma \left (\frac {1}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \cos \left (a\right ) + {\left ({\left (-i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {1}{3}, i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right ) + {\left (i \, \sqrt {3} - 1\right )} \Gamma \left (\frac {1}{3}, -i \, {\left (d x + c\right )}^{\frac {3}{2}} b\right )\right )} \sin \left (a\right )\right )}\right )} f e}{\left ({\left (d x + c\right )}^{\frac {3}{2}} b\right )^{\frac {1}{3}} b d} + \frac {12 \, {\left ({\left (d x + c\right )}^{\frac {3}{2}} b \cos \left ({\left (d x + c\right )}^{\frac {3}{2}} b + a\right ) - \sin \left ({\left (d x + c\right )}^{\frac {3}{2}} b + a\right )\right )} f^{2}}{b^{2} d^{2}}}{18 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.13, size = 281, normalized size = 0.74 \begin {gather*} -\frac {2 \, {\left (i \, c f^{2} - i \, d f e\right )} \left (i \, b\right )^{\frac {2}{3}} e^{\left (-i \, a\right )} \Gamma \left (\frac {1}{3}, {\left (i \, b d x + i \, b c\right )} \sqrt {d x + c}\right ) + 2 \, {\left (-i \, c f^{2} + i \, d f e\right )} \left (-i \, b\right )^{\frac {2}{3}} e^{\left (i \, a\right )} \Gamma \left (\frac {1}{3}, {\left (-i \, b d x - i \, b c\right )} \sqrt {d x + c}\right ) + 3 \, {\left (b c^{2} f^{2} - 2 \, b c d f e + b d^{2} e^{2}\right )} \left (i \, b\right )^{\frac {1}{3}} e^{\left (-i \, a\right )} \Gamma \left (\frac {2}{3}, {\left (i \, b d x + i \, b c\right )} \sqrt {d x + c}\right ) + 3 \, {\left (b c^{2} f^{2} - 2 \, b c d f e + b d^{2} e^{2}\right )} \left (-i \, b\right )^{\frac {1}{3}} e^{\left (i \, a\right )} \Gamma \left (\frac {2}{3}, {\left (-i \, b d x - i \, b c\right )} \sqrt {d x + c}\right ) - 6 \, f^{2} \sin \left ({\left (b d x + b c\right )} \sqrt {d x + c} + a\right ) + 6 \, {\left (b d f^{2} x - b c f^{2} + 2 \, b d f e\right )} \sqrt {d x + c} \cos \left ({\left (b d x + b c\right )} \sqrt {d x + c} + a\right )}{9 \, b^{2} d^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (e + f x\right )^{2} \sin {\left (a + b c \sqrt {c + d x} + b d x \sqrt {c + d x} \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \sin \left (a+b\,{\left (c+d\,x\right )}^{3/2}\right )\,{\left (e+f\,x\right )}^2 \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________